Computational logic - PDFSEARCH.IO - Document Search Engine

Computational logic
Results: 652

#	Item
201	LNCSSpecifying Compositional Units for Correct Program Development in Computational Logic Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2005-06-15 05:19:36 Mathematical logic Functions and mappings Metalogic Differential topology Interpretation Structure Function Embedding Sheaf Mathematics Model theory Topology
202	Philosophy 128: Philosophy of Science Add to Reading List Source URL: logic.berkeley.edu Language: English - Date: 2014-08-24 16:43:20 Philosophy of science Knowledge Philosophers of science Simplicity Wesley C. Salmon Consilience Computational epistemology Science Science studies Epistemology
203	Generalized Label Reduction for Merge-and-Shrink Heuristics Silvan Sievers and Martin Wehrle and Malte Helmert Universit¨at Basel Basel, Switzerland {silvan.sievers,martin.wehrle,malte.helmert}@unibas.ch Add to Reading List Source URL: ai.cs.unibas.ch Language: English - Date: 2014-05-12 05:45:15 Lambda calculus Logic in computer science L-reduction Combinatory logic Reduction Friedrich Robert Helmert Theoretical computer science Computational complexity theory Applied mathematics
204	Complexity as a Linguistic Variable Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2013-06-19 13:03:42 Fuzzy logic Artificial intelligence Non-classical logic Logic in computer science Systems Complexity Computational complexity theory Fuzzy set Lotfi A. Zadeh Logic Science Mathematical logic
205	Anveshan: A Framework for Analysis of Multiple Annotators’ Labeling Behavior Vikas Bhardwaj, Rebecca J. Passonneau and Ansaf Salleb-Aouissi Columbia University New York, NY, USA Add to Reading List Source URL: www.aclweb.org Language: English - Date: 2010-07-05 10:44:41 Semantics Natural language processing Lexical semantics Philosophical logic Word-sense disambiguation SemEval Punctuation Word sense WordNet Linguistics Computational linguistics Science
206	The NL2KR Platform for building Natural Language Translation Systems Vo Nguyen, Arindam Mitra and Chitta Baral School of Computing, Informatics and Decision Systems Engineering Arizona State University {nguyen.h.vo, ami Add to Reading List Source URL: www.public.asu.edu Language: English - Date: 2015-04-29 23:47:18 Science Computational linguistics Meaning Semantics Natural language processing Speech recognition Parsing Machine translation Formal grammar Linguistics Logic Formal languages
207	Journal of Artificial Intelligence Research606 Submitted 11/07; publishedSATzilla: Portfolio-based Algorithm Selection for SAT Lin Xu Add to Reading List Source URL: jair.org Language: English - Date: 2008-07-01 13:34:37 NP-complete problems Logic in computer science Electronic design automation Formal methods Boolean algebra Boolean satisfiability problem Algorithm Computational complexity theory Solver Theoretical computer science Applied mathematics Mathematics
208	AnswerFinder at TREC 2005 Diego MOLLA and Menno VAN ZAANEN Centre for Language Technology, Macquarie University Sydney, Australia, {diego,menno}@ics.mq.edu.au Add to Reading List Source URL: trec.nist.gov Language: English - Date: 2006-02-21 09:28:38 Graph theory Philosophical logic Computational linguistics Natural language processing Human communication Question Yes and no Algorithm Graph Mathematics Science Logic
209	CCCG 2006, Kingston, Ontario, August 14–16, 2006 Computational Euclid M.H. van Emden We analyse the axioms of Euclidean geometry according Add to Reading List Source URL: cccg.ca Language: English - Date: 2008-10-27 22:59:28 Elementary geometry Surfaces Euclidean geometry Axiom Plane Line Mathematical logic Space Synthetic geometry Geometry Mathematics Formal systems
210	Which Concepts Are Worth Extracting? Arash Termehchy Ali Vakilian Oregon State University Add to Reading List Source URL: www.mit.edu Language: English - Date: 2014-07-22 12:57:36 Cognition Theoretical computer science Computational linguistics Natural language processing Algorithm Mathematical logic Concept Word-sense disambiguation Domain Semantics Linguistics Science

UPDATE